1. Algebra, logic, set theory :
پدیدآورنده : edited by Benedikt Löwe
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algebraic logic,Set theory

2. Interactive logic :
پدیدآورنده : edited by Johan van Benthem, Dov Gabbay, Benedikt Löwe
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Game theory, Congresses,Logic, Symbolic and mathematical, Congresses
رده :
QA269
.
I58
2007

